基于空间认知和社区识别理论的路径选择模型

将启发式决策、空间认知以及社区识别理论结合,描述出行者的路径选择与路网结构的关系。采用基于模块增益的社区结构算法解构路网结构,描述人们的认知过程,建立相应的路径选择算法。以长沙市中心城区路网为例,利用建立的路径选择方法,分别用静态路阻（距离）、动态路阻（速度）对路网进行解构,计算路径选择集;采用问卷调查方法和出租车GPS数据对实际的路径选择轨迹进行提取,并将理论计算结果与实际调查结果进行对比分析,采用静态路阻的一致率为85%,采用动态路阻的一致率为73%。结果表明建立的集成空间认知和模块增益的路径选择模型可以较好地描述人们的路径选择过程,对于静态路阻的路径选择描述具有更高的准确性。研究成果对于城市规划和交通规划具有一定的借鉴价值。     

与弱倾斜模有关的对偶对

令W表示弱倾斜模的类, C表示余倾斜模的类, 证明(W,C)在任意环R上是对偶对, 并基于该结果讨论与W相关的模类及余挠对的性质.     

Rota-Baxter配对模系统和弯曲Rota-Baxter配对模系统

首先引入了Rota-Baxter配对模系统以及弯曲Rota-Baxter配对模系统的概念,并由它们构造了pre-Lie 模与树状模。最后,由半单Hopf代数中的积分分别构造了Rota-Baxter 配对模系统与弯曲Rota-Baxter配对模系统。     

余挠对与余倾斜模

通过研究余挠对与余倾斜模的性质,给出了完备遗传余挠对的核是余倾斜模的直积的直和项的充分条件.     

浅谈建设优秀图书馆网站的原则

结合实际工作经验，阐述了建设优秀图书馆网站的三大原则，包括页面的设计、功能模块的划分、后期的维护。     

余环的有理模和弱扭曲结构(英文)

我们引入了对于弱扭曲结构的α-条件,研究了一个用弱扭曲结构构造的余环的稠密有理对,并把有理模的一些重要结果应用到了弱扭曲模范畴,推广了Jawad相应的结果.     

一种程序设计语言模块系统的研究与实现

GOdel语言是一种新型逻辑程序设计语言。通过对其模块系统进行研究与实现，在实现过程中采用了将用户模块和系统模块分开存放、独立管理的策略，以便使这两部分模块可以被很好地扩充和管理；同时还设计了系统命令．以便及时了解模块运行情况。这样在环境中实现的GOdel语言模块系统不但减轻了GOdel推理机的运行负担，也方便了用户对模块的管理。     

具有区域识别功能计价器车载定位模块研制

采用GPS技术研制具有区域识别功能出租车计价器中的关键部件——定位模块，编制了相应的运行软件，并进行了调试和试运行试验；对区域识别算法进行了研究，提出了区域识别的算法——弧长法：为了保证通信的可靠性和工作的稳定性，从软、硬件两个方面采取了抗干扰措施。依据交通需求管理理论，能够有效地解决交通拥挤问题。     

Vega开发环境的扩展研究

目前版本的Vega软件不能满足各工程领域的视景仿真开发需求。在分析了Vega组成及工作原理的基础上,提出了开发Vega扩展模块的方法。包括:开发DLL以创建自定义模块类,通过注册回调函数以支持Vega公用函数以及实现具体的绘图功能;定义DLL导出函数为客户程序初始化模块等提供接口;创建关键字配置文件、GUI配置文件以及Lynx插件DLL,实现Lynx界面的扩展。基于该方法研制的“水下空间”模块已付诸应用,提高了水下场景视景仿真的开发效率。     

数字系统模块化分割原理及其在EDA中应用

为了加快数字系统的设计仿真，提高设计效率，提出了IP核模块化仿真方法。应用数字系统模块化分割原理，通过将数字系统分解为若干个子模块，在EDA(Electronic Design Automation)中先建立子模块系统的IP(Intellectual Property)核，再应用子模块IP核构造数字系统进行数字仿真。证明了数字系统的可分割性理论基础。应用仿真结果表明：采用IP核模块化仿真方法能够简化数字系统设计仿真，提高设计效率。所提出的IP核模块化仿真方法具有较好的实用价值。